#include <stdio.h>
#include <arm_acle.h>

int main(void) {
	char a[128] = "test";
	char *str;
	uint64_t mask;

	str = (char *)__arm_mte_create_random_tag(a, mask);
	printf("str %p: %s\n", str, str);

	return 0;
}
